Sandwiching the Consistency Strength of Two Global Choiceless Cardinal Patterns
نویسنده
چکیده
We provide upper and lower bounds in consistency strength for the theories “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω” and “ZF + ¬ACω + All successor cardinals except successors of uncountable limit cardinals are regular + Every uncountable limit cardinal is singular + The successor of every uncountable limit cardinal is singular of cofinality ω1”. In particular, our models for both of these theories satisfy “ZF + ¬ACω + κ is singular iff κ is either an uncountable limit cardinal or the successor of an uncountable limit cardinal”. There are many instances in the literature where choiceless large cardinal patterns are initially forced from strong hypotheses which one later sees can be weakened somewhat. For example, it is shown in [4] that the models constructed in [11] from an almost huge cardinal can actually be ∗2000 Mathematics Subject Classifications: 03E25, 03E35, 03E45, 03E55. †
منابع مشابه
The strength of choiceless patterns of singular and weakly compact cardinals
We extend the core model induction technique to a choiceless context, and we exploit it to show that each one of the following two hypotheses individually implies that AD, the Axiom of Determinacy, holds in the L(R) of a generic extension of HOD: (a) ZF + every uncountable cardinal is singular, and (b) ZF + every infinite successor cardinal is weakly compact and every uncountable limit cardinal...
متن کاملA remark on the tree property in a choiceless context
We show that the consistency of the theory “ZF + DC + Every successor cardinal is regular + Every limit cardinal is singular + Every successor cardinal satisfies the tree property” follows from the consistency of a proper class of supercompact cardinals. This extends earlier results due to the author showing that the consistency of the theory “ZF + ¬ACω + Every successor cardinal is regular + E...
متن کاملThe consistency strength of choiceless failures of SCH
We determine exact consistency strengths for various failures of the Singular Cardinals Hypothesis (SCH) in the setting of the Zermelo-Fraenkel axiom system ZF without the Axiom of Choice (AC). By the new notion of parallel Prikry forcing that we introduce, we obtain surjective failures of SCH using only one measurable cardinal, including a surjective failure of Shelah’s pcf theorem about the s...
متن کاملViolating the Singular Cardinals Hypothesis Without
We extend a transitive model V of ZFC +GCH cardinal preservingly to a model N of ZF + “GCH holds below אω” + “there is a surjection from the power set of אω onto λ” where λ is an arbitrarily high fixed cardinal in V . The construction can roughly be described as follows: add אn+1 many Cohen subsets of אn+1 for every n < ω , and adjoin λ many subsets of אω which are unions of ω-sequences of thos...
متن کاملThe Consistency Strength of the Tree Property at the Double Successor of a Measurable Cardinal
The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model ...
متن کامل